## Decoding trials of RS[12,6,7]

from PyM import *

C = PRS(Zn(13),6)

show(decoder_trial(C,1))

show(decoder_trial(C,2))

show(decoder_trial(C,3))

show(decoder_trial(C,4))